perm filename CMBX8.360[360,GF]3 blob
sn#866794 filedate 1988-12-15 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&"p_M'#λ≤G∧ H∧!P
β`%@α⊗E8β∃`e0∧∃A¬0∧∃ ⊂β∃ ⊂β∃ β∃ β∀` (βT` 0β∀@00βT@ @β∀ 0@βT Pβ∀"%
∀ `β∪` hβS` pβ∪@0pβS@!β∩A @π∩A @π⊃(D⊂∞Gc!P¬I!@'↓A 0'↓A00'↓A@('↓A@0'↓A@0'↓A@0'↓A@0'↓A@('↓A00'↓A⊂8'¬ a('↓A00'↓A@0'↓AP('↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓A@0'↓A@0'↓A 8%ε)!8"Qλ1`∂FC X∧A`∃⊂π`5βAa∧xβα`dpαC`DhαDD`αD@4Xβ∧`$Xβ∧`$XαE$Pβ∩@dPβ∩@dPβ∩@dPβ∩`Q ↓∩`a_↓∩`a_↓∪Q⊂↓∪ Qλ↓∪@Px↓∪```↓∀p@↓TAu(∧Q(D ∂H#!P¬)!@'↓A⊂8'↓A00'↓AP('↓A`('↓A`('↓Ap('↓Ap('↓Ap('↓Ap0'↓Ap0'↓Ap0'↓Ap0'↓Ap0'↓Ap0'↓Ap0'↓Ap0'↓Ap('↓Ap('↓A`('↓A`('↓AP('↓A@('↓A⊂8%ε !("QλQ`∂εC RC∀pβα@Tpββ4pββ $pββ 4pββ 4pβ↓@ 0↓∪@`0↓↓@$pβ↓@ 0↓∪@`(↓S@` α∪Adpπ∪@` α∪@`(↓S@`0↓α$pβ↓@ @↓∪@`0↓↓`4pββ`$pββ`$pββ@4pββ@4pββ Dpβα@dP
∩C$("⊃C!`
ε@↓H%ε)`0¬↓)`0εi`0ε@I`0ε@i`0ε@i`0β@`⊂'↓@`⊂βI`0β@`⊂'↓@P_'↓@@ 'βI`p'↓@@ '↓@P_'↓@`⊂'↓@`⊂'↓@`⊂'↓I`0'↓I`0'↓I`0%βi x"Qλr⊃FC `∧α∃⊂π@`5βB↓∧xββdpαDDhαD D`αD`4`αD`4Xβ¬$XαE $Pβ∩@dPβ∩@dPβ∩@`XπR@`XπR`Qλβ∩`aβ∪Qβ∪`xβ∪ Pxβ∪@Ppβ∪```β∀↓8∧∀Ap⊂α∃A⊂0↓⊃(D@⊂Hc!Pβ@Pp%β@Pp'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'ε)aH'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0%β@Pp%β@Pp"Q ⊃λFC λ∩B∧xβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∩B∧Pλ⊃(DP
¬#!PαCipx*AJP0*AJP0*AJP0*AJP0*AJP0*AJP0*AJP0*AJP0*AJP0%A`0%↓@P0%↓@P0%↓@P(%AP(&β `@"Q 2λ⊃FC πα!$Pπα!$pβ∧$pββ@4pββ 4pββ$pβα`$pβα 4pβα4pβ↓`$pβ↓ 4pβ↓Dpβ`dpβA∧p∧@@dp∧`tpβ↓@dpβ↓`dpβαdpβα dpβα tpβα@dpβα`dpββdpββ dPπ↓ATPπ↓AT("∪β↓P
ε@x%βi`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0εI`0εI`0εI`0¬@i`0¬@i`0¬@i`0¬i`0∧A `0βAI!8%¬hT &Ie!P
↓!_¬∩A1λ¬S@qλβS@ λαC` λαS@ λαC` λαS@ λαC` λαS@ ⊂αC ⊂αS@ ⊂αC ⊂αS@ _αB` _αS@ _αB` _αS@ αB αS@ αB αS@ (αA` (αS@ (αA` (αS@ (αA` (αS@ 0αA 0αS@ 0αA 0αS@ 8α@` 8αS@ 8α@` 8αS@ @α@ @αS@ @α@ @αS@ Hβα Tp↓α `HαS@ Hβα Tp↓α@@PαRA 0α↓ATP¬↓` 8εQ(Dp⊂Hc!PαAPP%αa@P'α↓p⊂'α!`⊂'@⊂8ε@I`⊂↓↓a@⊂'@00εI`⊂α↓A0⊂'@P0¬I`⊂β↓A⊂⊂'@p0∧I`⊂∧↓@p⊂'A⊂0βI`⊂∧A`P⊂'A 8αI`⊂¬A`0⊂'A@8↓I`⊂εA`⊂⊂'A`H'Ap@'B8'B⊂0'B ('B0 'B@_%αB⊂⊂%αB⊂⊂"Q qp⊂FC P¬∀"¬β↓@dpβα@dhββdhαC@T`αDTXβ∧dXαD@TXαD@TPβ∧@dPβ∧@dPβ∧@dPβ∧@dPβ∧@dPβ∧@dPβ∧@dXαD@TXβ∧dXβ∧d`αDT`ββ@dhββdpβα@eβ↓@eλλ∃↓$("∀β1h
ε@↓(%¬i`0∧AI`0¬↓I`0¬A)`0¬AI`0¬AI`0¬AI`0¬AI`0¬AI`0¬A)`0¬↓I`0∧AIa_'∧)`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I p%βHT (GD∩⊂
αA%λλ∀`0β∪@`Pβ∪ ``β∪ PpαSQαR`aβ∩`aβ∩`Q⊂αR@a⊂β∩@a⊂β∩@a⊂β∩@a⊂β∩@a⊂β∩@a⊂β∩@a⊂β∩`Q⊂αR`aβ∩`aβ∪QαS`(α↓ dhβ``_β∪@`λ↓↓ λβ∀p(β∀"¬ ¬A`%h↓A@%hα↓5h¬W!%p∧WA¬xβ_D("∀D∩_
ε@↓ %¬i`0∧↓i`0¬↓I`0¬A)`0¬AI`0¬AI`0¬AI`0¬AI`0¬A)`0¬↓I`0∧↓ia_'∧I`0βAI`0∧↓I`0∧AI`0∧AI`0∧AI`0∧AI`0∧AI`0∧AI`0∧A@`⊂'↓A⊂0βI`0¬↓@@⊂%β@pP%βA⊂8"Q
1 FC (∧↓ ∀hε 4`α↓`dXαα@DX↓C4Pαβ4Pαβ $Pαβ $PαRA∧Xε∩at`πS!tpπT!E0∧⊗ UHαR@ pα∩@ pα∩@ pα∩@0h↓R@@Xα∩@`@α∩@0λεR@⊂(∧Q(E ∞Gc!PFi1X%A `0β↓ 0_∧↓@p_%@A⊂0∧I _∧AA_%A 0∧@I ⊂¬↓A⊂⊂%A 0∧@I ⊂¬↓A⊂⊂+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J↓⊂(∧HT *H∧!P
↓`@¬∩A`@¬∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪@a↓∪`Q↓∪`Px↓∀Pp↓∀ PX↓T@`8α∀ae0∧Q(E0⊃λc!PβA P%βA P'↓B ⊂'AB⊂'AB⊂(↓A`⊂(↓A`⊂(AA@⊂(AA@⊂(Aa _)↓A ⊂)↓a_)AA⊂)A``_*↓@`⊂*↓`@_*A@@⊂*A` _+↓@ ⊂+↓`⊂⊂+B
p@,↓K0,A⊂ -HT +Kf↓P
↓` εAA$Pπ↓↓P0¬∪@`Xββ@$pββ`h↓∪``Xββ$xβα`pX↓∪`pPβB`%βα@pP↓∀`H↓ `H↓∀ `@↓ `@↓∀ `8↓@ p8↓∀ p0↓``0↓T@`0↓``0↓∀@`(↓↓ `(↓∀`` ↓↓ ` ↓∀``_↓A p_↓∀`p⊂↓↓``⊂↓U`⊂↓↓`pλ↓∃`λ↓α `λ↓∃!H∧∃ pXβU pXβU@`Xβ∃@PhαU`@hα∃`0x↓V x↓⊃(E@⊂λC!Pβ@PX%β@PX'↓a@⊂'Aa ⊂(↓a_(A``_)↓@P_)↓`@⊂)A` ⊂*αJP@*Aj`8+Ajp@+α*P_Aj@_↓Aj@⊂αAj0⊂β↓j _βAj⊂_∧Aj_¬Aj⊂εAIp⊂π↓i XβCI XβCHT ,HD1P
↓`P¬∩A`P¬∪@q↓S`px↓∀ph↓∀p`↓T pP↓T@pH↓∀A8↓∀`p0↓Up ↓U p_↓∃ p⊂↓∃A%8∧∃`u@β⊗e@β⊗e@β⊗e@β⊗e@β∃↓e π⊃(EPεc!PEI10%AA⊂0%A↓ 8%@a 8%a00%a 0%A 8%A 0%A⊂0*↓j@0)AJ 8)↓J⊂0(↓a⊂⊂(↓A ⊂'AA0⊂'↓a _'↓A0_&AA@⊂&↓a0_%Aa0 %AA 0%¬i!8"Q⊃(D"⊂_¬∪↓TXαA TXαA@TXαA`T`↓BU8αU`TxεS ` αR`P8αR`@@αR@P@αR@P@αR@P@αR`P(↓ D`¬`dpβ↓@T("_Bq@
F`@%α P(&A)P(&A)P(&A)P(&A)P(↓AiP(BIP@αA)P0∧↓ P(¬↓ P(¬↓ P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓ P(∧A)P0∧↓ P @@P(&@`0P&@@`0"Q1⊂
∧"⊂0∧SADhαAT`α↓@TXαA@TXαα4PαR@TPαR@TPαR@TXα∩`T`αB $hαA`$pε∀↓∧("→αqH
Fa@@+α⊂(,A+⊂(,A+⊂(,A+⊂(,A*0↓A)a&A P8&↓↓⊂(%A!⊂(%A↓ (%↓! (%↓! (%↓! (%↓! (%↓! (%↓! (%A↓ (%A↓ (&↓↓0&AP@'α@⊂@(↓@0@"QQ_
∧"⊂8βSA4hαA D`αα4XαB 4Xαα@DPαB@DPαB@DP RB4PαR@TXα∩`PX↓∪@X↓∪ P8↓SaEλ∧⊃(F0λD#1X∧AJ⊂H(↓ ⊂('A ('↓ 0('↓ @_'↓)`('↓)`(%β) h'↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`(%Bi0X"Qq(εB⊂0β@`DpλS @(α@4h↓A`0⊂↓∪@8α∪@8α∪@8α∪@8α∪ 08↓S @(α∪A4h@@thS $h↓∪!ThπSAt` ∩`@Pβ∩@@hα∩@@hα∩@@hα∩`@Xα∪P8αS!u∧Q(F@ε#1Xα @&A)P(&A)P(&A)P(&A)P(&A @0&A H&A ⊂⊂α↓)P8β↓)P0βA)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓)P(∧↓) X↓αi X↓αhT 4BA1`∞↓$hα∪d`β∪ Dp↓⊃`PλβR`thαS ThαS ThαS ThαS ThαS ThαS ThαS TP¬∩A$("~APX∩π↓⊂⊂)↓
⊂0(AJ )@Hp(αB p@)↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* (%@`@(%↓ 0(%↓ 0 %↓ %B)@0"Q
1@Fc0∧∩A∧hαS ThαS ThαS ThαS ThαAa∧hαAa∧hαB4hαA`4hαA@4hαA4hα@`4hα@@Dh¬S pλα∪ P α∪ P αS P(αS P0αS P8αS P@αRA0 ∧RA0 ∧Q(F`¬Cβ1Xα @&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(%αi X"Q
R8∀∧"⊂∧↓p8βRA⊂¬↓↓$hα@ (α@@ (αS p8βA`Thβα`@αS PHαB ThαB PHαS PHαB ThαB PHαS PHαB ThαB PHαS PHαB ThαB PHαS PHαB ThαB PHαS PHαB TP¬@a0_¬RA0_¬@a4("≠C↓HλD @α↓I @↓α)P(@@@(&A``(&A@p(&A!(&A!(&A!(&A!(&A!(&A!(&A!(&A!(&A!(&A!(&A!(%α` X%α` X"Q
q(∧"⊂8βSAThαA T`αα DXαB TXαα`DPαB`TPαB`TPαB`TPαB`TPαB`TPαB`TXαα`DXαB T`αα DhαA TpεT t("≤αq@D @↓Ai @BIP@α↓IP0∧↓ P(∧A)P(¬↓ P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(∧A)P(∧A)P0βA)P8αA)P(BIP(↓AIP(&A)P(&A)P(&A) X%αhT 8Ec⊃HλA@`0↓∪A _↓S P ↓@ D`αA`dXαB TXαB TPαB@TPαB@TPαB@TPαB@TPαB@TPαB@TXαα@TXαB T`ααdhαA↓∧p¬ Uβ`UHαV UHαV UHαV U0¬UA4("≤B⊃⊂λD 8↓A) 8↓↓iP @@ (&A⊂λ↓A)P @ 0(&A@@_&A)P(&A)P(&A)P(&A)P(&A)P(%αi X"Q∞0pλ∧"⊂_β@ $`¬R`00↓R@0@↓∩@0@↓∩@DP∧∩a$X¬S!$x∧UDP↓α 4P↓α 4P↓B4Pα↓@4Pε∩@ ⊂β⊃(G πβc↓@βJ⊂(Ip_'@i` &↓I h%β)P(&A)P(&A)P(&A)P(&A)P(&A @⊂&A @⊂&A @⊂&A @⊂'↓0⊂'α*("Q∞Q@D"⊂∧↓!∧P∧↓!∧hαBThαBThαBThαBThαBThαBThαBThαBThαBThαBThαBThαBThαA`dpα↓@tp¬A¬β@a∧("≥Bq@λD Pβ↓i Pβ↓iP(¬IP0∧i`(∧I`0βip(βIp0αj(αJ0↓@J⊂(↓J⊂0@J 8)↓j0()A*@_*hT ;H∧⊃λλ@↓ ⊂∧AtP¬A⊂ βS P0αB$hαA`@@↓∪ `0αA@4pαA `0↓∪@P(β↓@$xα@a ↓∪`P_↓@@ ↓∪``⊂↓@P⊂↓TPλ↓↓@⊂↓∀Pλ↓↓@⊂↓∀ `0β∀ `0β∀@P0αT@@@α∀@@@α∀` P↓⊃(G@Fα⊃λα@@@%α@@@&A@p⊂'↓@P_'A @_(↓ _(B
0)A*00)α
⊂_A*⊂⊂↓A*⊂αA)p⊂βA)`⊂∧A) @βα) @βα(T <Ec↓Hλ@↓ 0βRA 0βS PP↓∪ `@↓S@P@↓∪@`0↓S`P0↓∪`` ↓TP ↓∀`_↓∀ P⊂↓∀ `λ↓∀@u⊂βT`U_αU5 ↓U% ↓∩`0(↓∩@P ↓∩@P_↓∩@P⊂↓R`t`αQ(GP ∧b⊃λ↓∧ A&↓`(&@p(%@``(%@@`0%@@P0(AJ⊂((↓)p0α@I`0βIP0β@IP(β@i@(β@i0(βA !λ%∧(T εβ!P
αtPS@`@αS@`P↓S@`X↓∪@`X↓S@`X↓S@``↓∪@``↓∪@``↓∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dPπRAt("$"(
εB⊂,A0,↓Jp@+αJ`⊂AjP_↓↓jP⊂↓Aj@⊂αAj0_β↓j0⊂βAj ⊂∧Aj⊂_¬↓j⊂⊂¬Aj_ε↓j⊂εAip⊂πAi`_λ↓i`⊂λAiP⊂ Ai@_ B Ap%H 2%λI"⊂"Q!x⊃εC X∧TAuβ↓`dpβα`dhββ dhαC`T`αD TXβ∧ dXβ∧ dXαD`TPβ↓ 8↓↓dPβ↓↓0 β∩@` ¬AdPβ↓↓0 β∩@` ¬AdPβ↓↓0 β∩@` ↓↓` β∩`Q_αR`aλβ∩`aλβ∪QλαS`xβ∪ `hβ∪@`Xβ∀`8β∀Au(∧Q(@_∞Gc!Pε@jp_+↓*`(+↓*P8*Aj@H*@⊂0*@⊂0)@@ 8)@@00)@@8)@P0(@`P8(@@`8(@@p0(A8(A⊂0'@a⊂8'@A 8'@A00'A@8'AP0&@aP8%α ph%α ph"QA`∂εC ∞∩CDP∞∩CDP∞∩@!@↓∩@!@↓∩@!@↓⊃`⊂(↓β@$x ∪b$x ∪b$x ∪` p↓⊃` ↓ε$P↓ε$P↓ε$P↓ε$P∞∩CDP∞∩CDP∞⊃(@(⊂Hc!Pλ)"λ'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0'↓AP0%β@Pp%β@Pp"Qa`∂FC λ
∩C4XβC d`βC@DhβC@4pβC@4xβC 4x∧β %βC %λβC%⊂βT`u βU↓¬(β∃@50↓β% ↓C %_↓C@%⊂↓β`5λ↓∧4x↓D4p↓DDh↓∧d`Rc$X
⊃(@8∂HC!Pα↓!P(&α!⊂H%B`pX%β Ph%β@@h%@p0↓↓ p⊂*A *B*`@+α
p0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0+AJp0)∧
!"Q↓↓`∂FC 0λ∀α¬(β∃ e(β∃ e⊂ε∪b$hβ@`⊂β∪P β↓TXβ↓` β∩@`(β↓ dPβ↓ `(β∩@`(β↓ dPβ↓ `(β∩@`(β↓ dXβ↓` β∪P β↓Thβ@`⊂β∪b%⊂ε∃ e(β∃ e(β∀α¬λ⊃(@H∂HC!P∧∧
!+AJp0+AI0(βA@`0%↓``0αAi@0αA@@0&↓@P0α↓I@0αA@@0&↓@P0α↓I@0αA@@0&↓@P0α↓I@0αA@@0&A P0α↓)P0α↓@00'↓ @0↓A)p(↓A@ ((↓@⊂`)∧
PP+AJp0+AJp0)∧
!"Q↓!p⊂εC P¬∀"∧xβαdpαCThαC@T`ββ@d`αDTXβ∧dXβ∧dXβ∧dXβ∧dXβ∧d`αDT`ββ@dhαC@Tpαβ@DpαCTxαβE↓C4P↓↓@Pα↓$P↓↓ 0P↓A $X↓↓ P↓↓ $X↓↓ 0@↓A $X¬α↓$X¬α↓$`∧B↓∀`∧B!∧("α1(F `8'αiP αA @ βA 0(βA)0 ∧A 0 ∧A (∧A) (∧A) (∧A) (∧A) (∧A) (∧A) (∧A) (∧A) (∧A) (∧A) (∧A) (∧A)0 ∧A 0 ∧A 0(βA)@ βA P αA `X(↓hT _D"AHB5λα∪!∧P¬R@0_αTUαTUαTUαTUαTUαTUαTUαTUαTUαTTXλ∩b∧("B1(F P@&C 0 αAi0 βAI 0βA) 0βAI 0∧↓)0 ∧A)@⊂¬↓*p0+A*p(+↓*P(*↓
0 )↓
⊂_β@J_∧Ip_∧@I`⊂¬iPx&∧ 1λ%∧I!⊂"Qε1_
F#⊂(∧∪!D`α↓ dXαA@TXαA`TXαA`TXαA`T`↓A`e0αU U αT↓¬βU U0αU`U8β∪ Hβ∩`@@β∩@`8β∩@`8β∩@`8αR`@8β∩`@0β∪!Dx∧⊃(C
EC⊃Hε@j` *A*P(*↓J08)α
⊂A*⊂⊂↓↓*⊂↓A)p_↓A)`_α↓)`⊂αA)P⊂β↓)@_β↓)0_βA) _∧↓)!(%¬*P(*A*P(*A*P((βjx"QεQ_
F#⊂_↓α@$hπ∪!Thε∪!$h∧∪ $h↓∪ $h↓∪ λβS!Dh↓A@ThB U8αU`e8β∩`0Hβ∩@P@β∩@P@β∩@P@β∩@@HαR` HαS00αS!DxβQ(C0 E#⊃H∧AJP'A`⊂'`p &A`(&↓p(%A!_%A 0 %↓ Pλ%↓ @%↓ ⊂P%↓`` %↓A %↓A %↓!⊂(%↓!⊂(%↓!⊂(%A↓⊂(%A↓⊂(%A↓⊂(&↓↓ &↓p &AP 'αj8"Qεq_εC λ↓∩b$X ∩b∀Xλ∩atP↓B@$P↓α@$P↓α@$P↓α % ↓∀`%⊂↓T@5λα∀ 5α∀Eα∀DxαS`TxαS`TxαS`U↓Q(C@ E#⊃Hβ↓i``&@``(&a %A↓⊂ %A↓⊂ %A! %A@p %B@ &α ⊂ &β)P`'β Pp&↓ P%AP@%Ap8%↓↓ (%↓↓0 %↓↓0 %↓↓0 %↓↓0_%A↓⊂ &↓ ` &C p@"Qπ⊃_
F#⊂0βSA4hα↓ D`α↓`DXααDPαB DPαB DPαB DPαB TPαB TPαB TXααdXααd`α↓@th¬ Tp∧@U⊂A U@α⊗D`↓BTXαA`DXαA`4Xα↓`D`↓A Th¬∪@t(" α⊃ ∂G!⊂)Ip8&Bi@_↓@@ _%@`@⊂αI0⊂α@@@⊂%`P⊂↓A _α@@ (%`P⊂↓↓) α@ (%↓ 0⊂α) P%Bi0h&β)Ph'Bj H)@ (%@`@⊂↓A (↓@@@_%↓ 0⊂αi (↓@@@_%`P⊂αI0⊂α@@@⊂%@`@⊂↓@I@_↓@@⊂ &BIp8)J ⊂"Q∧bλ⊃Fc0Pα∀@uλα`%α↓ %α↓ $xαA $xαA $xαA$xαA$xα@`$xα@@ P∧TpX∧T`x↓∀Q↓∀ Pp↓∪a`↓∪@0λαB`$h↓@@`P↓∪0 βα$Xα↓ `0↓∩@P(β↓ $PαA@`_↓∩@P8β $PαBpP↓∩`PHβα $`αAA (↓S!@_ε∪a@∧⊃(Cxλ∧c1Xαα @`%@``(%↓p(%↓ `(%↓ `(%↓ `(& p()A* ()j⊂_(@J_(J⊂(J⊂#A`⊂'A `0'↓Ip (HT ∨∧α1X A@$xα∪@dpβ∪`E↓⊃`@0↓∀%↓∀$x↓S`4p↓S@4`α∩`TXαα∀PαA@TPαA@TPαA@TPαA`DXα↓@D`ε∪!∧("∧↓ XλD ⊂8%AiP(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A) P%αHT λC!1HλA!∧x∧∀@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αR`0 αR@P_αR@P_α∩@P⊂α∩a∀`β⊃(AH¬c1X∧↓iph'↓ P('↓p &A p(&A p(&A p(&A p(&A p &A ` %α00%α00&A ` &A p &A! &A!(&A!⊂ &A!⊂(&A!⊂(&A!⊂(&A!⊂(&A!⊂(&A!⊂(&A 0⊂α↓ P(↓↓ (&A ↓↓ @↓B @α↓(T
πd⊃λλ@a 0βS↓P⊂¬R`P(∧A DXαA@p8α∩`P8β↓`D`↓BPHα∃`PHα∃`PHα∃b$x
∪↓⊂⊂αR``0αR@PHα∩@PHαB@$PαB`P↓∩`P0∧A@4`ε@a4h¬↓`t("εd2 λD p8∧Ai`hααiP(αA ⊂(αA @ ∧Aa %A!⊂8∧↓ 0 ¬A! %↓!0(¬↓ (¬A! %↓!1_%↓!1_%↓!0(%↓!0(%A↓0(%A!⊂8¬@I@ ∧Aa0⊂&A P(A p_'β @`(Aa⊂@"QβA(εBQλ↓⊗@5P↓⊗ 5λβ@ $pεS P(αS@8β∩`P0↓ TXα↓@0⊂α∩@P0↓`TPαA 0_αR@P(↓↓TPαA (αR@P_↓A TPα@` 0αR`@⊂↓A@DXα@ 0αS`8α∪ P(αSATp↓ th↓S $`↓S$("π%αP
εA1P*FK⊂↓↓A(,@ 0¬jp⊂↓AA0⊂+@@00¬@j`⊂α↓A0_+@@0εJP⊂αA@`⊂αJP⊂αA@`⊂αJ@_αA@`⊂*@`0α@j0_β↓@@ )Ej18)A0α↓
⊂∧↓@P_βJ⊂⊂∧A@`⊂βJ⊂⊂∧A@`⊂α@j⊂¬↓@`⊂α@J⊂¬↓AP⊂'@a 0εip⊂¬AA@_'a00¬A `⊂ε↓A⊂(%α@Q8%α@Q8"Qβb`_εC X∂∀D∃β↓`pPαS`PPββ4hββPh↓∪ PhαC 4`ββ Ph↓R``pαB _↓∩``pαB _↓∩`PxαB _↓∩@`xαB4Pββ`P8α∩@`xλ∩@`xλ∩@`xαA`DPββ`P@↓R@`xαB (↓∩``pαB (↓∩``pαB ↓R``pαC`$`ββ Px↓∪ PhαC@4hββPp↓S@pHββ EβA@pXαTD%(∂Q(Ax∂HCq`l ⊂*B 0_)∧*0βAI`0¬AIP(εα P(ε@⊂(&↓!@⊂↓A)00¬@`00%A!@⊂αA)0(¬@@`(%↓A _β↓I 0¬@p0%↓A⊂⊂∧↓I 0∧a0%↓A⊂∧AI 0β@A 0%↓@`_¬↓I0(βA0(%A P⊂ε↓)00↓@a00&↓ 0⊂ε↓)@0@A@0&B↓@('↓A00(↓@p0(∧)p_↓B)p⊂'hT ⊂AA!X
@ DPβ∩@dPβ∩@dPβ∩@dXα∩`DXα∩`DXα∩`DXα∪$`↓∪$`↓⊃`@⊂↓∩`DPβ∩@dXα∪$("∂`P
D` ⊂%A 0%↓I0 &Hp ↓I@⊂&I@⊂%A 0 %A 0 %A 0 %A 0%↓I 0%↓I 0%↓I0 "Q∧2⊂∩Hc0x↓B5H↓B5H↓B5@↓B5@↓B5@↓B5@↓B58↓B58↓B58↓B58↓B50↓B4P⊃∩D$X⊂U 0@↓U0@↓U0@↓U0@↓U0@↓U0@↓T`0@↓Rd∀P⊃∩D%λ↓B5λ↓B5λ↓B5λ↓B5↓B5↓B5↓B5↓B4x↓B4x↓B4x↓B4(" $"(∂G @( @IP@λi@_αaP(%AP(∧↓I0_β∧I β@@ @@i β@A _%↓p⊂∧A β@A %↓p⊂βA β@@p_%@``⊂β@i0 α@@` &`@⊂β↓ P@αA `(β@k⊂_βA+ βα
p β`@⊂+↓` α@J`_β@``⊂*@`p β@J@ βAp⊂)A↓ β@J ∧Ap⊂)a β@J⊂_¬Ap⊂(↓↓@_βIp εAP⊂'@ap_αI`_λB p⊂ ↓(T ∪Aa0h
@ DPβ∩@dPβR@tXβ∪`$x↓∪@$p↓∪ $`↓R`4X↓⊃(B@εβe↓h¬J0⊂(@j_(Ip_'iP &@i@ &↓ @_%A 0 %A (%↓ %↓ %↓ %↓ %↓ (%A 0 %A @_&↓ @ &@iP 'ip_(J_(@j0⊂*HT ∀C↓r@∞@$X↓∪4h↓S@$p↓S`4xα∀5α∀Eλ↓T Eλα∀ EλαT@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@EλαT Eλα∀ Eλ↓TEα∀4xα∪`4p↓S@$h↓S4X↓∩@$("
B1(λG!_(A* _& P_α@)0 ↓@`0 %↓@ _↓↓I00@`⊂0&A ⊂λA*8(↓iP(@ ⊂(%A@⊂_AI 0↓` 0%A0_↓A @λα@`Pλ)j⊂()hT ∃Gd"C@5@↓V5@↓V5@↓V5@↓V5@↓V5@↓V5@↓V4P∂RCtP∂V5@↓V5@↓V5@↓V5@↓V5@↓V5@↓V5@↓V4("pXεA ⊂ %↓I 0%↓i 8%AIp⊂'@I`⊂'IP⊂&i0_%@HT ↔↓A (α@ DPβ∩@dPβ∩@dXα⊃(BxλE∧qhπ@K_,jp_+@j`_+j`_*@jP_*@j@_*j0_)@j0_)j _)j⊂_(@j_(j_'@ip_'@i`_'iP_&@iP_&i@_&i0_%@i _%i ⊂"Qπ 0¬∧"⊂λα∩@dPβ∩@dPβ∩`D8β DPβ∩@dPβ∩@dXα⊃(CXβαC⊃λA 0%↓I 0%↓I0 #A@⊂_%↓) 0%↓I 0%A)`⊂'IP⊂&@IP⊂&I0⊂%@(T ≡Gd `π@βtP∂Rcd8β@#dP∂RCt("⊂βr⊂
Fa0H)βj(∧A)p_π@i`⊂ @IP⊂βAA⊂&@`Pβ@I@⊂αA @_βI0⊂αA↓⊂βI0⊂α↓!(↓@I ⊂αA↓⊂(αI ⊂α↓!⊂(αI ⊂α↓!⊂(αI ⊂α↓!⊂(αI ⊂α↓!⊂(αI ⊂α↓!⊂(αI ⊂α↓!⊂(αI ⊂αA↓⊂(αI0⊂α↓!(α)0⊂αA↓(↓@I@⊂αA @8↓@I@⊂βα@⊂@&@@p0αA)`⊂'@b ((↓!08)∧JPX"Q0@ε cP∧∩A∧P∧∩@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓RA∧P∧∩A∧("↔!H∪G @%α @'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_%α @%αλT 0↓a h
A$h↓S4`↓∩`$X↓∩@$P↓∩@dPβR@tXβ∩`d`α⊃(A⊂∧C aXA 0(%↓i00&↓I`((hT B"00
ADhαSt`β∩`dPαR@4("¬↓1λαε ⊂β@I ↓A 0H&↓i`_"QαPx Ac0↓α`$P↓α`$P↓B 4X↓A`4Xα↓ D`¬S!∀xαQ(A0λE!8∧)!λ%∧(T BBp0
@@dX∧∩@ 0↓∩@ 0↓∩@ 0↓∩a∧`β⊃(0β∂x␈␈␈pPα/x␈␈␈∂x␈␈␈p β∪A¬λβ∀@U⊂αT dPε∩A∀("λ↓Phαβa _(↓i@@%↓I ⊂"Q`h ↓C00S`4hβS↓∀Xα`DX↓↓`$XB ∀("↔`pPαG _%A)0(%A)0(&hT >CB@8∞ 0(↓R@P_αR@`⊂β∩@P_αR@P_αR@@ α∩@0(↓R@ 0↓⊃(GpπD`QXα``λ&A @_&β 0`%`@(%@ `_"Q∂px A#@⊂↓A 4Xα@`TXα@`TXα@`TXα@`T`↓A 4("αcap
Fa @α↓J!((↓ P8↓↓)p(αA`0('↓ `0α↓)`(βA P_'↓ p('↓ p('↓ p('↓ p(%εI!P'↓ p('↓ p('↓ p('↓ p('↓ p('↓ p('↓ p('↓ p('↓ p('↓ p('↓ p('↓ p('↓ p('↓ p(%B@0P%B@0P"Q↓AHFc0X∧∀AEβ↓@4xαA`DpαA`TpαBDpαB $pαS@TpαA!∧P∩BdpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTX¬@A4X¬@A4("β#⊃H
Fa0X)βJ0α↓Ip(β↓I`(βAI`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)!0%¬I`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)`(∧↓)0X↓αi0X↓αhT π dqX
Ba0∧∀APλε∀`0∧↓@4xαA`p8α∪@P@β↓`TpαB`@α∪@PHαB $pαB TpαB TpαB P(∧∩DDP∩∪@PHαBTpαB P@αS@PHαBTpαB P@αS@PHαBTpαB P@αS@PHαBTpαB P@αS@PHαBTpαB P@αS@PHαBTpαB P@αS@PHαBTpαB P@αRa0_¬@A4X¬@a0⊂¬Q(@x∪Ic1X¬B PX)β ⊂p(↓@`@α↓Ip(βA``0'↓!0βAI`(∧A!('↓!⊂(∧↓)`(∧A!('↓!⊂(∧↓)`(∧A!(% " '↓!⊂(∧↓)`(∧A!('↓!⊂(∧↓)`(∧A!('↓!⊂(∧↓)`(∧A!('↓!⊂(∧↓)`(∧A!('↓!⊂(∧↓)`(∧A!('↓!⊂(∧↓)`(∧A!('↓!⊂(∧↓)`(∧A!(%B`0X↓αi0X↓B` X"Q∧!λ C#0λα↓@DPβ↓dPβ↓dPβ@`tPβ@`tXβ↓dx↓α$x↓α$p↓α$p↓α$h↓α$`↓A`4X↓A`4X↓α$("!0`↓B@X%αi X%αhT .∧"`h
A @↓∪ 08↓S08↓S @↓∩` @↓∩` @↓∩@ @↓∩@ @↓∩@` β∩@p_βR@p_βR`` β∩`` β∪@0α⊃(GXE`⊂X¬i!8"Q∂C_!0_∩F∧(wCm⊗ 2[NFH3~,W⊂⊂⊂iT⊂,;bV_7Y
⊗p3\l6@2[,R*→+α:→/π wCfx7≥fλ1Y,'H:→>0w∂@¬( →1hH↓∨38↓∨38␈␈␈␈pβ␈␈␈␈(↓h{βP¬p. ∧f?0J ↓*W@ `≡`⊂∪↓spN↓_n⎇@2⊂β5+αEP{↓∧⊂εD#¬↔←0αI@x#H@
B↑`0⊃@↓b8m↓(<⎇@r0βgi`α]0{α∧0π { ¬D←0∧I@x∨'#↑`P⊃@↓b8m↓8⎇A1`αmo0∧t@{ββ0¬8r@ x∨0εF`Pqe∀≡`p∀@α¬(/α@M⎇ArH∧
Up¬∪P{∧↓`α\9 π∞∂0λC`(}K∞&}a⊂↓≤`iα({=B1@α9M⊂∧`X{¬β∧s~ D∂0
FHf4@∪
>a0↓≤`iα0+=Br(βX↔⊂∧f_{εα`∧-B Oo0F P~(@∞7↑aP⊃@↓b8m↓h+⎇C20βgi`β[{πβ∧s~ πB←0∞K↓λ\;∂!≡ap→α>08↓x∩⎇Cr0βgi`β|0{λ↓`α\9 U∂0⊂C`({↑@⊂↔}b⊂@↓"hCαHn⎇D2H∧
Up∧
λ{ β∧s~ εZO0∩J ↓*W@⊂W≡b0∪↓spN↓X.⎇Dpp↓.≤P∧!_{
α0βgi`λFo0∀D`8OS@⊃#}bP↓≤`iα⊂t=E20βgi`∧3X{↓`α\9 λpO0⊗D0D#∃π≡bpπWλeα_S⎇Eq@α9M⊂∧;P{β∧s~ ¬p∂0_FHf4@y}c⊂↓≤`i↓@∩=F1@α9M⊂βπ({
β∧s~ ε→/0~FHf4@F>c0↓≤`i↓H5=Fq@α9M⊂β≤h{∞β∧s~ εB/0≤FHf4@
≤>cPπWλeα λ⎇G0p↓.≤P∧C⊂{∂↓pα⎇o λ∪∂0≡I@x∨'∩_}cp@↓∀λ9↓`∃⎇Gq8α(↔⊂β>0{⊂∧`πOS@ ∂∂0 I p`\@λ}d⊂⊃@↓↑H#A=H2_βD⎇P∞H{⊃∧Pπ@↓)/0"H`l
m>d0∂@↓D`j⊂∀=Hr0βlP⊂(H{∩∧`πQd ↑/0$D@8,@↓X>dP@↓!HO_O=I20βiM >({∪βP¬p. ↓∂0&K@↓⊂EZα)}dp∪↓t8⊃(7=Ir(βW∞`←h{∀∧⊂εW<@↓M∂0(I p\;β.}e⊂∩↓j(8"=J1Xα\9 {({∃∧ εhE αα/0*I xα∩@∧≠}e0∩@↓lλ9@o=Js⊂¬ε3`↓∀_{⊗∧Pπ0. α>/0,I p`\@¬∃}eP∂↓?P+PW=K0p↓.≤P∧R({↔β⊂¬0`
E?0.C@(8r@∩←≡ep↓≤`iα0\⎇Kpp↓.≤P∧m {_↓`α\9 :?00FHCH@¬C>f⊂
@↓._JX*=L10α⊗a↓;H{→β0¬8r@α}∂02E@@⎇∃ε∀>f0π@←h⊗`G=Lq@α9M⊂↓M({~β0¬8r@β&o04C@(8r@εf}fPπ@←h⊗hj=M1PαKβ ↓b({≠↓`α\9 βPo06J@↓*W@π1>fp
@↓._Jx≡=Mq@α9M⊂↓xh{≤β0¬8r@βzO08F@P,@λ}g⊂
↓↓HO↓J=N1_↓w2pα
λ{≥α0βgi`∧!o0:F`PqeλT>g0
↓%@~↓λP=Nr_βD⎇Pα≡_{≡β ¬⊗ε@∧J/0<F@P,
%}gP↓0λ↓⊂y=O1@α9M⊂¬&P{∨ε⊂ f4@
N←0>FHf4@∪9}gp↓≤`iα8π=Oq@α9M⊂∧rH|@αP]`{⎇xow{⎇x